More from this Author

Theorem Proving in Higher Order Logics

by Stefan Berghofer (Editor), Tobias Nipkow (Editor), Christian Urban (Editor), Makarius Wenzel (Editor)

Interactive Theorem Proving

by Christian Urban (Editor), Xingyuan Zhang (Editor)

Interactive Theorem Proving

by Christian Urban (Editor), Xingyuan Zhang (Editor)